Robert I Soare, "Turing Computability: Theory and Applications"